#include <stdio.h>

int global_uninit_var = 520;

int main(void)
{
    static int num = 0;

    return 0;
}
